COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input jmclet
C00011 ENDMK
C⊗;
\input jmclet
\jmclet
\address
Mr. Kiyoshi Segami
Secretary General
The Inamori Foundation
87 Kankoboko-cho, Shijyodori, Muromachi
Higashi-iru, Shimogyo-ku, Kyoto 600
Japan
\body

Dear Mr. Segami:

	This is to answer the questions in your ``Information for
Laureates''.

	1. The schedule is fine with me, and I will take part in
all the mentioned events.

	2. We plan to arrive on November 8, and I will depart
on Saturday, November 15.  My wife may leave sooner, but will
certainly stay for the presentation ceremony and banquet.
Whether I will return to the U.S. on the 15th is uncertain.  It
depends on other arrangements I may make in Japan.  While I have
made airplane reservations as follows, I would prefer to be able
to change them.

\noindent Nov 7, UA 809, San Francisco - Osaka 1230-1700 Nov 8.

\noindent Nov. 15, JAL 2, Tokyo - San Francisco, 1820 - 1005

	No other family members besides my wife will attend.  However, if
it seems appropriate to you, I would like to invite Professor Satoru
Takasu, of Kyoto University's Research Institute of Mathematical Sciences
and his wife to such events as may seem appropriate and which they might
like to attend.

	3. Enclosed is another copy of my full biography which
contains the information you requested about me.  My wife's full
name is Carolyn Louise Talcott, and she was born in 1941.

	4. Of the papers in my biography, the following seem the
most relevant for your purposes.

{\bf McCarthy, John (1960)}: ``Recursive Functions of Symbolic Expressions and their
Computation by Machine,'' {\it Comm. ACM}, April 1960.

{\bf McCarthy, John (1960)}: ``Programs with Common Sense'', in Proceedings of the
Teddington Conference on the Mechanization of Thought Processes, Her Majesty's
Stationery Office, London.
%  common[e80,jmc],
% common.tex[e80,jmc]

{\bf McCarthy, John (1961)}: ``A Basis for Mathematical Theory of Computation'',
in {\it Proc.  Western Joint Computer Conf.}, May 1961, pp. 225-238.
Later version in Braffort, P. and D. Hirschberg (eds.) {\it Computer
Programming and Formal Systems}, North-Holland Publishing Co. (1963).

{\bf McCarthy, John (1962)}: ``Time-Sharing Computing Systems,'' in {\it Management
and the Computer of the Future}, Martin Greenberger (ed.), MIT Press.

{\bf McCarthy, John (1963)}: ``Towards a Mathematical Theory of Computation'',
in Proc.  IFIP Congress 62, North-Holland, Amsterdam.

{\bf McCarthy, John (1963)}: ``A Basis for a Mathematical Theory of Computation'', 
in P. Braffort and D. Hirschberg (eds.), {\it Computer Programming and
Formal Systems}, North-Holland Publishing Co., Amsterdam, pp. 33-70.

{\bf McCarthy, John and P.J. Hayes (1969)}:  ``Some Philosophical Problems from
the Standpoint of Artificial Intelligence'', in D. Michie (ed), {\it Machine
Intelligence 4}, American Elsevier, New York, NY.
%  phil.tex[ess,jmc] with slight modifications

{\bf McCarthy, John (1977)}:
``On The Model Theory of Knowledge'' (with M. Sato, S. Igarashi, and
T. Hayashi), {\it Proceedings of the Fifth International Joint Conference
on Artificial Intelligence}, M.I.T., Cambridge, Mass.

{\bf McCarthy, John (1979)}:
``Ascribing Mental Qualities to Machines'' in {\it Philosophical Perspectives 
in Artificial Intelligence}, Ringle, Martin (ed.), Harvester Press, July 1979.
%  .<<aim 326, MENTAL[F76,JMC],
% mental.tex[f76,jmc]>>

{\bf McCarthy, John (1979)}: 
``First Order Theories of Individual Concepts and Propositions'', 
in Michie, Donald (ed.) {\it Machine Intelligence 9}, (University of
Edinburgh Press, Edinburgh).
%  .<<aim 325, concep.tex[e76,jmc]>>

{\bf Cartwright, Robert and John McCarthy (1979)}:
``Recursive Programs as Functions in a First Order Theory'',
in {\it Proceedings of the International Conference on Mathematical Studies of
Information Processing}, Kyoto, Japan.
%  .<<aim 324, FIRST.NEW[W77,JMC]>>

{\bf McCarthy, John (1980)}: 
``Circumscription - A Form of Non-Monotonic Reasoning'', {\it Artificial
Intelligence}, Volume 13, Numbers 1,2, April.
%  .<<aim 334, circum.new[s79,jmc], cirnew.tex[s79,jmc]>>

{\bf McCarthy, John (1986)}:
``Applications of Circumscription to Formalizing Common Sense Knowledge''
{\it Artificial Intelligence}, April 1986
%  circum.tex[f83,jmc]

	5. Since you didn't respond to my inquiry about whether the
photographs I sent you were satisfactory for your purposes, I assume
they are ok.

	6. My bank account number is 64828 0503 at the Union Bank
in Palo Alto, California.  For bank to bank transfer
the Bank routing number is 122000771.  I enclose a voided check.
I do not yet understand whether this is the least cost way to
transfer the money.  The currency should be U.S. dollars.

	7. My wife dislikes tourism and has somewhat different scientific
interests from mine.  Therefore, she will not attend the sightseeing and
probably won't attend the workshops but will meet with other scientific
colleagues in Kyoto and maybe elsewhere in Japan.

	I will supply the other information requested by the end
of August, but I doubt whether I can find all the photographs
that are wanted.

\closing
Sincerely,
John McCarthy
Professor
\endletter
\end